Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
301	Higher-Order Constraint Simplification In Dependent Type Theory Jason Reed ∗ Carnegie Mellon University Pittsburgh, USA [removed] Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:20 Logic programming Unification Admissible rule Mathematics Substitution of variables Symbol Mathematical logic Automated theorem proving Logic
302	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
303	CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-05-13 12:40:00 Type theory Theoretical computer science Non-classical logic Dependently typed programming Logical framework Intuitionistic logic Frank Pfenning Dependent type Natural deduction Mathematical logic Logic Logic in computer science
304	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory
305	Self-Certification Bootstrapping Certified Typecheckers in F? with Coq Pierre-Yves Strub Nikhil Swamy Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 13:20:49 Mathematical logic Data types Functional programming Model theory Polymorphism Coq Type system Dependent type First-order logic Type theory Software engineering Programming language theory
306	Static Dependent Costs for Estimating Execution Time Brian Reistad David K. Giord Laboratory for Computer Science, Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Estimation theory Procedural programming languages M-estimator Robust regression Monad ALGOL 68 Scope Parallel computing Type system Software engineering Statistics Computing
307	Norman Lamb: To ask the Secretary of State for Health how many children were born to drug-dependent mothers in each of the last five years, broken down by (a) region and (b) type of drug[removed]Apr 2008 : Column 12 Add to Reading List Source URL: www.foinews.co.uk Language: English - Date: 2012-12-12 04:01:35 Drug addiction SHA-2 SHA-1 NHS strategic health authority Alcoholism Ethics Cryptographic hash functions Psychiatry Alcohol abuse
308	1880 Supplemental Schedule 3, for the Defective, Dependent, and Delinquent Classes Inhabitants in _______________________, in the County of _____________________, State of ________________ Enumerated by me June, 1880. Add to Reading List Source URL: www.archives.gov Language: English - Date: 2013-07-01 11:47:26 Health Idiot Intelligence Mental retardation The Idiots Enumerated type Census Statistics Medicine Disability
309	Generic Programming with Dependent Types Thorsten Altenkirch, Conor McBride and Peter Morris School of Computer Science and Information Technology Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-03-27 06:01:59 Type theory Functional languages Procedural programming languages Epigram Logic in computer science Formal methods Generic programming Proj construction Type system Software engineering Programming language theory Computing
310	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory

UPDATE